const Tarr: [string, number] = ['Tom', 25];
Tarr.push(123);
// Tarr.push(true)  // 报错
